Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
461	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
462	Service category[removed]Basic information Quantity Time scale difference Instrument or Artifact Local clock vs. UTC Add to Reading List Source URL: www2.nict.go.jp Language: English - Date: 2011-08-16 03:31:23 Cognition Statistical theory Uncertainty Knowledge Science Statistics Measurement Probability interpretations
463	QUOT AND HILBERT SPACES Contents 1. Introduction 2. Conventions 3. The Hom functor Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:51 Functors Algebraic geometry Sheaf theory Scheme theory Grothendieck topology Hom functor Algebraic space Adjoint functors Natural transformation Abstract algebra Category theory Algebra
464	Pricing Penxy.com bills you based on how many hours of narrated presentations you store online at the platform. Basic Pro Add to Reading List Source URL: penxy.com Language: English - Date: 2015-03-02 14:52:45 Differential topology Embedding General topology Order theory Email Mathematical analysis Topology Mathematics Category theory
465	Service category[removed]Basic information Quantity Time scale difference Instrument or Artifact Local clock vs. UTC Add to Reading List Source URL: www2.nict.go.jp Language: English - Date: 2011-08-16 03:31:18 Cognition Statistical theory Uncertainty Knowledge Science Statistics Measurement Probability interpretations
466	LIMITS OF ALGEBRAIC SPACES Contents 1. Introduction 2. Conventions 3. Morphisms of finite presentation Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:09:13 Algebraic geometry Scheme theory Topos theory Category theory Algebraic space Étale morphism Grothendieck topology Proper morphism Coherent sheaf Abstract algebra Algebra Sheaf theory
467	LNBI[removed]Renal Cancer Cell Classification Using Generative Embeddings and Information Theoretic Kernels Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2012-06-26 09:41:01 Machine learning Category theory Categorical data Probabilistic latent semantic analysis Statistical classification Latent Dirichlet allocation Generative model Embedding Kernel Statistics Mathematics Statistical natural language processing
468	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
469	OAC PRESS Working Papers Series #7 ISSNPrint) Can the Thing Speak? Martin Holbraad Add to Reading List Source URL: openanthcoop.net Language: English - Date: 2011-01-12 17:00:23 Philosophy Philosophical movements Actor-network theory Bruno Latour Sociology of scientific knowledge Category of being Materialism Science Ontology Metaphysics
470	Easy Categories For Programmers With Java Implementation Vlad Patryshev[removed] Add to Reading List Source URL: www.patryshev.com Language: English - Date: 2013-08-08 01:08:29 Graph Partially ordered set Function Category Set Binary relation Graded poset Mathematics Order theory Graph theory

UPDATE